Interval arithmetic - PDFSEARCH.IO - Document Search Engine

Interval arithmetic
Results: 138

#	Item
11	Verified Integration of ODEs with Taylor Models Markus Neher Karlsruhe Institute of Technology Institute for Applied and Numerical Mathematics Kaiserstr Add to Reading List Source URL: conf.nsc.ru Language: English - Date: 2012-04-29 06:38:11 Mathematics Mathematical analysis Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Integral Interval Polynomial
12	Generating a Minimal Interval Arithmetic Based on GNU MPFR (in the context of the search for hard-to-round cases) Vincent LEFÈVRE Arénaire, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic Software Computing Mathematics GNU MPFR Rounding Interval arithmetic GNU Multiple Precision Arithmetic Library Maple Fixed-point arithmetic IEEE floating point TeX
13	Under-approximations of computations in real numbers based on generalized affine arithmetic Eric Goubault and Sylvie Putot CEA-LIST Laboratory for ModEling and Analysis of Systems in Interaction, 91191 Gif-sur-Yvette Ced Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:27 Mathematics Mathematical analysis Numerical analysis Geometry Functions and mappings Affine geometry Affine arithmetic Interval arithmetic Quasigroup Abstract interpretation Logarithm Derivative
14	A Rigorous Generic Branch and Bound Solver for Nonlinear Problems Andrew P. Smith C´esar A. Mu˜noz and Anthony J. Narkawicz Mantas Markevicius National Institute of Aerospace NASA Langley Research Center Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2015-08-18 13:33:42 Mathematics Equations Polynomials Numerical analysis Algebra Operations research Global optimization System of polynomial equations Mathematical optimization Linear programming Constraint satisfaction Interval arithmetic
15	Formal Proofs for Taylor Models in Coq Ioana Paşca LIP, ENS Lyon joint work with Nicolas Brisebarre, Mioara Joldeş, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Laurence Rideau & Laurent Théry Add to Reading List Source URL: raim2012.u-bourgogne.fr Language: English - Date: 2012-07-16 09:24:56 Mathematical analysis Mathematics Numerical analysis Algebra Polynomial Taylor series Interval arithmetic
16	Verification Methods for Dense and Sparse Systems of Equations ∗ S.M. Rump, Hamburg In this paper we describe verification methods for dense and large sparse systems of linear and nonlinear equations. Most of the metho Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 04:44:10 Mathematical analysis Mathematics Arithmetic Computer arithmetic Interval arithmetic Numerical analysis Inverse trigonometric functions Boolean algebra Holomorphic functional calculus
17	Sutra: International Journal of Mathematical Science Education, Vol. 2, No. 1, Useful Mathematical Symbols Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2009-03-11 10:45:36 Quantification Elementary arithmetic Mathematical logic Mathematical notation Integral Interval Universal quantification Equality Exponentiation Quantifier Plus-minus sign ISO 31-11
18	The Zonotope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, FGif-sur-Yvette Cedex, France, Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Numerical analysis Affine geometry Operations research Affine arithmetic Abstract interpretation Semidefinite programming Polyhedron Interval arithmetic Fixed point
19	submitted May 18, accepted November 28, 2011, published in Numerical Algorithms 61(1), FAST INTERVAL MATRIX MULTIPLICATION SIEGFRIED M. RUMP ∗ Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2012-08-20 04:21:05 Matrix theory Numerical linear algebra Arithmetic Computer arithmetic Interval arithmetic Numerical analysis Interval Matrix Ring